Section: Partnerships and Cooperations

International Initiatives

NSFC Project

NSFC

• Title: Analysis and Verification of Dependable Cyber-Physical Software

• Type: National Natural Science Foundation of China (NSFC )

• Duration: January 2012 - December 2016

• Coordinator: National University of Defense Technology (China)

• Others partners: National University of Defense Technology (China), Seoul National University (Korea)

• Abstract: The project addresses analysis and verification issues related to dependability properties of Cyber Physical Systems (CPS) software: safety (such as the numerical or and memory related runtime errors), quantitative properties (such as the worst-case execution time, upper bound of the memory consumption, etc.), stability and robustness (due to intrinsic uncertainty of CPS), as well as properties of hybrid system (which provides a model for describing the coordination of computation and physical, discrete and continuous processes). The project is expected to advance the analysis and verification methodology for dependable CPS software so as to contribute to the dependability assurance of CPS software in mission critical applications. Patrick Cousot is the principal investigator for this project.

Visiting professors

Yanjun Wen is associate professor at the Department of Computer Science and Technology, College of Computer, National University of Defense Technology, Changsha, P. R. China. He is visiting the team from June 2011 to May 2012 and is interested in the static analysis of parallel software by abstract interpretation.

Roberto Giacobazzi, professor at the University of Verona, Italy, visited in spring 2011.

Andreas Podelski, professor at the University of Freiburg, Germany, visited in fall 2011.

Internship

Marie Pelleau is a third year PhD student from the University of Nantes (France) under the supervision of Frédéric Benhamou, Pascal Van Hentenryck, and Charlotte Truchet. She spent one month (November 2011) in the team, under the supervision of Antoine Miné, on the application of numerical abstract domains (and in particular, the Apron library, 5.1 ) to constraint programming.

David Delmas is an engineer at Airbus France on educational leave to pursue the 2nd year of the Parisian Master of Research in Computer Science (MPRI) and a visitor in the team from September 2011 to August 2012.

Suzanne Renard is a third year student at École des Mines de Paris (France). She spent six months (September 2010 to February 2011) in the team, under the supervision of Xavier Rival; she was working on the extension of the xisa shape analysis frameworks in order to express set properties.